Biblioteca Dr. Antonio Monteiro · Catálogo | |
Gentzen, Gerhard. | ||||
1. |
[Untersuchungen über das logische Schliessen. Francés] Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen) / par Gerhard Gentzen ; traduction et commentaire par Robert Feys et Jean Ladrière. |
1955 | Libro |
03 G339 |
Ladrière, Jean. | ||||
2. | Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques / par Jean Ladrière. | 1957 | Libro |
03 L157 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com